151 results on '"Tucci-Piergiovanni, Sara"'
Search Results
2. Byzantine Attacks Exploiting Penalties in Ethereum PoS
3. Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper
4. Towards Secure and Trusted-by-Design Smart Contracts
5. Adversary-Augmented Simulation to evaluate fairness on HyperLedger Fabric
6. Industrial Internet of Things and the Innovation Processes in Smart Manufacturing
7. Breaking the $f+1$ Barrier: Executing Payment Transactions in Parallel with Less than $f+1$ Validations
8. Ethereum Proof-of-Stake under Scrutiny
9. Homomorphic Sortition -- Secret Leader Election for PoS Blockchains
10. Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
11. RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination
12. uTakeCare
13. Committee-Based Blockchains as Games between Opportunistic Players and Adversaries.
14. SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus
15. Accountability and Reconfiguration: Self-Healing Lattice Agreement
16. On Finality in Blockchains
17. Ethereum Proof-of-Stake under Scrutiny
18. On Fairness in Committee-based Blockchains
19. Reconfigurable Lattice Agreement and Applications
20. Dissecting Tendermint
21. Invited Paper: On the Characterization of Blockchain Consensus Under Incentives
22. Rationals vs Byzantines in Consensus-based Blockchains
23. Simulation study of Sycomore++, a self-adapting graph-based permissionless distributed ledger
24. Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
25. Dissecting Tendermint
26. On Cancellation of Transactions in Bitcoin-Like Blockchains
27. Correctness and Fairness of Tendermint-core Blockchains
28. Blockchain Abstract Data Type
29. An extensive agent-based simulation study of sycomore ++ , a DAG-based permissionless ledger
30. Keynote: Blockchain consensus protocols, from Bitcoin to Ethereum 2.0
31. On the Bitcoin Limitations to Deliver Fairness to Users
32. A TLA+ Formal Proof of a Cross-Chain Swap
33. Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
34. Dissecting Tendermint
35. Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
36. Schedulability Analysis at Early Design Stages with MARTE
37. DPMP: A Software Pattern for Real-Time Tasks Merge
38. Towards an Architectural Design Framework for Automotive Systems Development
39. On the Bitcoin Limitations to Deliver Fairness to Users
40. Looking for a Definition of Dynamic Distributed Systems
41. Blockchain Abstract Data Type
42. Churn Resilience of Peer-to-Peer Group Membership: A Performance Analysis
43. A Fault-Tolerant Sequencer for Timed Asynchronous Systems
44. Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
45. Scalable lightning factories for Bitcoin
46. Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
47. An Industrial Prototype of Trusted Energy Performance Contracts Using Blockchain Technologies
48. Yggdrasil: Secure State Sharding of Transactions and Smart Contracts that Self-adapts to Transaction Load
49. Simulation study of Sycomore ++ , a self-adapting graph-based permissionless distributed ledger
50. Schedulability Analysis at Early Design Stages with MARTE
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.